Free compact 2-categories
نویسندگان
چکیده
Before one can attach a meaning to a sentence, one must distinguish different ways of parsing it. When analyzing a language with pregroup grammars, we are thus led to replace the free pregroup by a free compact strict monoidal category. Since a strict monoidal category is a 2-category with one 0-cell, we investigate the free compact 2-category generated by a given category, and we describe its 2-cells as labeled transition systems. In particular, we obtain a decision procedure for the equality of 2-cells in the free compact 2-category.
منابع مشابه
Convergence and quantale-enriched categories
Generalising Nachbin's theory of ``topology and order'', in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) ...
متن کاملCompactification of *-autonomous categories
We study the question when a ∗-autonomous (Mix-)category has a representation as a ∗-autonomous category of a compact one. We prove that necessary and sufficient condition is that weak distributivity maps are monic (or, equivalently epic). For a Mix-category, this condition is, in turn, equivalent to the requirement that Mix-maps be monic (or epic). We call categories satisfying this property t...
متن کاملAbstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures support a notion of scalar which allows quantitative aspects of physical theory to be expressed, and how the notion of strong compact closure emerges as a signif...
متن کاملLinking diagrams for free
Linking diagrams with path composition are ubiquitous, for example: Temperley-Lieb and Brauer monoids, Kelly-Laplaza graphs for compact closed categories, and Girard’s multiplicative proof nets. We construct the category Link = Span(iRel), where iRel is the category of injective relations (reversed partial functions) and show that the aforementioned linkings, as well as Jones-Martin partition m...
متن کامل$z^circ$-filters and related ideals in $C(X)$
In this article we introduce the concept of $z^circ$-filter on a topological space $X$. We study and investigate the behavior of $z^circ$-filters and compare them with corresponding ideals, namely, $z^circ$-ideals of $C(X)$, the ring of real-valued continuous functions on a completely regular Hausdorff space $X$. It is observed that $X$ is a compact space if and only if every $z^circ$-filter ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 17 شماره
صفحات -
تاریخ انتشار 2007